A semantic characterization of a useful fragment of the situation calculus with knowledge
نویسندگان
چکیده
Article history: Available online 3 April 2010
منابع مشابه
روش‌شناسی ساخت و طراحی هستی‌نگاشت‌ها:مورد پژوهی حوزه علم‌سنجی
Ontology is a useful tool for organizing resources and on the other hand is a useful tool for the knowledge representation. With the development of Semantic Web technologies, build and create ontologies to expedite the process, it is necessary. The aim of study is explaining the situation methodology, designing scientometrics conceptual model, and steps of its ontology construction as Scientome...
متن کاملSemantics for a useful fragment of the situation calculus
In a recent paper, we presented a new logic called ES for reasoning about the knowledge, action, and perception of an agent. Although formulated using modal operators, we argued that the language was in fact a dialect of the situation calculus but with the situation terms suppressed. This allowed us to develop a clean and workable semantics for the language without piggybacking on the generic T...
متن کاملIsolation and Characterization of Novel Phage Displayed scFv Fragment for Human Tumor Necrosis Factor Alpha and Molecular Docking Analysis of Their Interactions
Tumor necrosis factor alpha (TNF-α) expression amplifies to excess amounts in several disorders such as rheumatoid arthritis and psoriasis. Although, Anti-TNF biologics have revolutionized the treatment of these autoimmune diseases, formation of anti-drug antibodies (ADA) has dramatically affected their use. The next generation antibodies (e.g. Fab, scFv) have not only reduced resulted immunoge...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملIsolation and Characterization of Novel Phage Displayed scFv Fragment for Human Tumor Necrosis Factor Alpha and Molecular Docking Analysis of Their Interactions
Tumor necrosis factor alpha (TNF-α) expression amplifies to excess amounts in several disorders such as rheumatoid arthritis and psoriasis. Although, Anti-TNF biologics have revolutionized the treatment of these autoimmune diseases, formation of anti-drug antibodies (ADA) has dramatically affected their use. The next generation antibodies (e.g. Fab, scFv) have not only reduced resulted immunoge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Artif. Intell.
دوره 175 شماره
صفحات -
تاریخ انتشار 2011